Linear temporal logic
FIELD OF MATHEMATICAL LOGIC
Linear Temporal Logic; LTL formula; LTL logic; Linear-time temporal logic; Linear time temporal logic; Propositional temporal logic; LTL (logic)
In logic, linear temporal logic or linear-time temporal logicLogic in Computer Science: Modelling and Reasoning about Systems: page 175 (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.